Additions Warranted

Warranted Derivations of Preferred Answer

We are aiming at a semantics of logic programs with preferences defined on rules, which always selects a preferred answer set, if there is a non-empty set of (standard) answer sets of the given program. It is shown in a seminal paper by Brewka and Eiter that the goal mentioned above is incompatible with their second principle and it is not satisfied in their semantics of prioritized logic progr...

Lenient Accounts of Warranted Assertability

Some assertions are epistemically defective. True story: Shortly after moving to South Bend, Malou mentioned that she was surprised to see so many gulls around town. I thought for a moment, then replied: “You know, those birds fly all the way over here from Lake Michigan.” Unfortunately, knowledgeable Mark overheard my assertion, and promptly said: “You don’t know what you’re talking about. Our...

Additions and Corrections

PDBsum additions

PDBsum, http://www.ebi.ac.uk/pdbsum, is a website providing numerous pictorial analyses of each entry in the Protein Data Bank. It portrays the structural features of all proteins, DNA and ligands in the entry, as well as depicting the interactions between them. The latest features, described here, include annotation of human protein sequences with their naturally occurring amino acid variants,...

Is the Optimism in Optimistic Concurrency Warranted?

Optimistic synchronization allows concurrent execution of critical sections while performing dynamic conflict detection and recovery. Optimistic synchronization will increase performance only if critical regions are data independent—concurrent critical sections access disjoint data most of the time. Optimistic synchronization primitives, such as transactional memory, will improve the performanc...